Optimal. Leaf size=110 \[ -\frac{2 a^3 (A-i B) \tan (e+f x)}{f}-\frac{4 a^3 (B+i A) \log (\cos (e+f x))}{f}+4 a^3 x (A-i B)+\frac{a (B+i A) (a+i a \tan (e+f x))^2}{2 f}+\frac{B (a+i a \tan (e+f x))^3}{3 f} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.093102, antiderivative size = 110, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.154, Rules used = {3527, 3478, 3477, 3475} \[ -\frac{2 a^3 (A-i B) \tan (e+f x)}{f}-\frac{4 a^3 (B+i A) \log (\cos (e+f x))}{f}+4 a^3 x (A-i B)+\frac{a (B+i A) (a+i a \tan (e+f x))^2}{2 f}+\frac{B (a+i a \tan (e+f x))^3}{3 f} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3527
Rule 3478
Rule 3477
Rule 3475
Rubi steps
\begin{align*} \int (a+i a \tan (e+f x))^3 (A+B \tan (e+f x)) \, dx &=\frac{B (a+i a \tan (e+f x))^3}{3 f}-(-A+i B) \int (a+i a \tan (e+f x))^3 \, dx\\ &=\frac{a (i A+B) (a+i a \tan (e+f x))^2}{2 f}+\frac{B (a+i a \tan (e+f x))^3}{3 f}+(2 a (A-i B)) \int (a+i a \tan (e+f x))^2 \, dx\\ &=4 a^3 (A-i B) x-\frac{2 a^3 (A-i B) \tan (e+f x)}{f}+\frac{a (i A+B) (a+i a \tan (e+f x))^2}{2 f}+\frac{B (a+i a \tan (e+f x))^3}{3 f}+\left (4 a^3 (i A+B)\right ) \int \tan (e+f x) \, dx\\ &=4 a^3 (A-i B) x-\frac{4 a^3 (i A+B) \log (\cos (e+f x))}{f}-\frac{2 a^3 (A-i B) \tan (e+f x)}{f}+\frac{a (i A+B) (a+i a \tan (e+f x))^2}{2 f}+\frac{B (a+i a \tan (e+f x))^3}{3 f}\\ \end{align*}
Mathematica [B] time = 3.91998, size = 331, normalized size = 3.01 \[ \frac{a^3 \sec (e) \sec ^3(e+f x) \left (3 \cos (f x) \left ((-3 B-3 i A) \log \left (\cos ^2(e+f x)\right )+6 A f x-i A-6 i B f x-3 B\right )+3 \cos (2 e+f x) \left ((-3 B-3 i A) \log \left (\cos ^2(e+f x)\right )+6 A f x-i A-6 i B f x-3 B\right )+9 A \sin (2 e+f x)-9 A \sin (2 e+3 f x)+6 A f x \cos (2 e+3 f x)+6 A f x \cos (4 e+3 f x)-3 i A \cos (2 e+3 f x) \log \left (\cos ^2(e+f x)\right )-3 i A \cos (4 e+3 f x) \log \left (\cos ^2(e+f x)\right )-18 A \sin (f x)-15 i B \sin (2 e+f x)+13 i B \sin (2 e+3 f x)-6 i B f x \cos (2 e+3 f x)-6 i B f x \cos (4 e+3 f x)-3 B \cos (2 e+3 f x) \log \left (\cos ^2(e+f x)\right )-3 B \cos (4 e+3 f x) \log \left (\cos ^2(e+f x)\right )+24 i B \sin (f x)\right )}{12 f} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.013, size = 160, normalized size = 1.5 \begin{align*}{\frac{-{\frac{i}{3}}{a}^{3}B \left ( \tan \left ( fx+e \right ) \right ) ^{3}}{f}}-{\frac{{\frac{i}{2}}{a}^{3}A \left ( \tan \left ( fx+e \right ) \right ) ^{2}}{f}}+{\frac{4\,i{a}^{3}B\tan \left ( fx+e \right ) }{f}}-{\frac{3\,B{a}^{3} \left ( \tan \left ( fx+e \right ) \right ) ^{2}}{2\,f}}-3\,{\frac{A{a}^{3}\tan \left ( fx+e \right ) }{f}}+{\frac{2\,i{a}^{3}A\ln \left ( 1+ \left ( \tan \left ( fx+e \right ) \right ) ^{2} \right ) }{f}}+2\,{\frac{B{a}^{3}\ln \left ( 1+ \left ( \tan \left ( fx+e \right ) \right ) ^{2} \right ) }{f}}-{\frac{4\,i{a}^{3}B\arctan \left ( \tan \left ( fx+e \right ) \right ) }{f}}+4\,{\frac{A{a}^{3}\arctan \left ( \tan \left ( fx+e \right ) \right ) }{f}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.63728, size = 131, normalized size = 1.19 \begin{align*} -\frac{2 i \, B a^{3} \tan \left (f x + e\right )^{3} + 3 \,{\left (i \, A + 3 \, B\right )} a^{3} \tan \left (f x + e\right )^{2} - 6 \,{\left (f x + e\right )}{\left (4 \, A - 4 i \, B\right )} a^{3} + 12 \,{\left (-i \, A - B\right )} a^{3} \log \left (\tan \left (f x + e\right )^{2} + 1\right ) +{\left (18 \, A - 24 i \, B\right )} a^{3} \tan \left (f x + e\right )}{6 \, f} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.31866, size = 509, normalized size = 4.63 \begin{align*} \frac{{\left (-24 i \, A - 48 \, B\right )} a^{3} e^{\left (4 i \, f x + 4 i \, e\right )} +{\left (-42 i \, A - 66 \, B\right )} a^{3} e^{\left (2 i \, f x + 2 i \, e\right )} +{\left (-18 i \, A - 26 \, B\right )} a^{3} +{\left ({\left (-12 i \, A - 12 \, B\right )} a^{3} e^{\left (6 i \, f x + 6 i \, e\right )} +{\left (-36 i \, A - 36 \, B\right )} a^{3} e^{\left (4 i \, f x + 4 i \, e\right )} +{\left (-36 i \, A - 36 \, B\right )} a^{3} e^{\left (2 i \, f x + 2 i \, e\right )} +{\left (-12 i \, A - 12 \, B\right )} a^{3}\right )} \log \left (e^{\left (2 i \, f x + 2 i \, e\right )} + 1\right )}{3 \,{\left (f e^{\left (6 i \, f x + 6 i \, e\right )} + 3 \, f e^{\left (4 i \, f x + 4 i \, e\right )} + 3 \, f e^{\left (2 i \, f x + 2 i \, e\right )} + f\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 10.5045, size = 172, normalized size = 1.56 \begin{align*} - \frac{4 a^{3} \left (i A + B\right ) \log{\left (e^{2 i f x} + e^{- 2 i e} \right )}}{f} + \frac{- \frac{\left (8 i A a^{3} + 16 B a^{3}\right ) e^{- 2 i e} e^{4 i f x}}{f} - \frac{\left (14 i A a^{3} + 22 B a^{3}\right ) e^{- 4 i e} e^{2 i f x}}{f} - \frac{\left (18 i A a^{3} + 26 B a^{3}\right ) e^{- 6 i e}}{3 f}}{e^{6 i f x} + 3 e^{- 2 i e} e^{4 i f x} + 3 e^{- 4 i e} e^{2 i f x} + e^{- 6 i e}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.47258, size = 450, normalized size = 4.09 \begin{align*} \frac{-12 i \, A a^{3} e^{\left (6 i \, f x + 6 i \, e\right )} \log \left (e^{\left (2 i \, f x + 2 i \, e\right )} + 1\right ) - 12 \, B a^{3} e^{\left (6 i \, f x + 6 i \, e\right )} \log \left (e^{\left (2 i \, f x + 2 i \, e\right )} + 1\right ) - 36 i \, A a^{3} e^{\left (4 i \, f x + 4 i \, e\right )} \log \left (e^{\left (2 i \, f x + 2 i \, e\right )} + 1\right ) - 36 \, B a^{3} e^{\left (4 i \, f x + 4 i \, e\right )} \log \left (e^{\left (2 i \, f x + 2 i \, e\right )} + 1\right ) - 36 i \, A a^{3} e^{\left (2 i \, f x + 2 i \, e\right )} \log \left (e^{\left (2 i \, f x + 2 i \, e\right )} + 1\right ) - 36 \, B a^{3} e^{\left (2 i \, f x + 2 i \, e\right )} \log \left (e^{\left (2 i \, f x + 2 i \, e\right )} + 1\right ) - 24 i \, A a^{3} e^{\left (4 i \, f x + 4 i \, e\right )} - 48 \, B a^{3} e^{\left (4 i \, f x + 4 i \, e\right )} - 42 i \, A a^{3} e^{\left (2 i \, f x + 2 i \, e\right )} - 66 \, B a^{3} e^{\left (2 i \, f x + 2 i \, e\right )} - 12 i \, A a^{3} \log \left (e^{\left (2 i \, f x + 2 i \, e\right )} + 1\right ) - 12 \, B a^{3} \log \left (e^{\left (2 i \, f x + 2 i \, e\right )} + 1\right ) - 18 i \, A a^{3} - 26 \, B a^{3}}{3 \,{\left (f e^{\left (6 i \, f x + 6 i \, e\right )} + 3 \, f e^{\left (4 i \, f x + 4 i \, e\right )} + 3 \, f e^{\left (2 i \, f x + 2 i \, e\right )} + f\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]